|
In category theory and its applications to mathematics, a normal monomorphism or conormal epimorphism is a particularly well-behaved type of morphism. A normal category is a category in which every monomorphism is normal. A conormal category is one in which every epimorphism is conormal. ==Definition== A monomorphism is normal if it is the kernel of some morphism, and an epimorphism is conormal if it is the cokernel of some morphism. A category C is binormal if it's both normal and conormal. But note that some authors will use the word "normal" only to indicate that C is binormal. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Normal morphism」の詳細全文を読む スポンサード リンク
|